Dit de l'algorisme de decisió que resol un problema X de tipus no determinista polinòmic (NP) i en què, per a tot Y, problema NP, es verifica que, donades dues entrades A i B que puguin construir-se una de l'altra en temps polinomial respecte de l'original [...]